Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

🚨 Ignore unnecessary_library_name #2310

Merged
merged 1 commit into from
Oct 7, 2024
Merged

🚨 Ignore unnecessary_library_name #2310

merged 1 commit into from
Oct 7, 2024

Conversation

AlexV525
Copy link
Member

@AlexV525 AlexV525 commented Oct 7, 2024

No description provided.

@AlexV525 AlexV525 requested a review from a team as a code owner October 7, 2024 05:25
@AlexV525 AlexV525 added the infra label Oct 7, 2024
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Oct 7, 2024

Code Coverage Report: Only Changed Files listed

Package Base Coverage New Coverage Difference
Overall Coverage 🟢 84.46% 🟢 84.46% ⚪ 0%

Minimum allowed coverage is 0%, this run produced 84.46%

@AlexV525 AlexV525 merged commit b4c5bc6 into main Oct 7, 2024
3 checks passed
@AlexV525 AlexV525 deleted the ci/ignore-unnecessary-library-name branch October 7, 2024 05:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
infra
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@AlexV525